TSTP Solution File: ALG252^1 by Nitpick---2016